Statefull Property Testing